منابع مشابه
Hypothetical particles
A review is given of the status of hypotheses about various undiscovered particles. Magnetic monopoles, intermediate bosons, heavy leptons, scalar particles, quarks, tachyons and gravitons are discussed, along with speculations about the newly discovered neutral mesons. This review was completed in December 1974. Rep. Prog. Phys. 1975 38 731-770
متن کاملHypothetical Planning
We present a novel method for interleaving planning with execution, called iterative deepening in hypotheticals. The method consists of performing an iterative deepening search in the space of partially ordered hypothetical plans. Hypothetical plans are partial plans in which the achievement of an otherwise unachievable goal may be conditioned on certain outcomes of sensing. This approach has b...
متن کاملHypothetical Logic of Proofs
The Logic of Proofs (LP) [2–5] is a refinement of modal logic introduced by Artemov in 1995 which has recently been proposed for explaining well-known paradoxes arising in the formalization of Epistemic Logic. Assertions of knowledge and belief are accompanied by justifications: the formula [[t]]A states that proof witness t is “reason” for knowing/believing A. Also, LP is capable of reflecting...
متن کاملHypothetical metaphysics of nature
The paper first sketches out a reply to the underdetermination challenge and the incommensurability challenge that rebuts the sceptical conclusions of these challenges and that is sufficient to lay the ground for the project of a metaphysics of nature. That metaphysics is as hypothetical as are our scientific theories. The paper then explains how can one can argue for certain views in the metap...
متن کاملHypothetical Datalog : Complexity
We present an extension of Horn-clause logic which can hypothetically add and delete tuples from a database. Such logics have been discussed in the literature , but their complexities and expressibilities have remained an open question. This paper examines two such logics in the function-free, predicate case. It is shown, in particular, that augmenting Horn-clause logic with hypothetical additi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1994
ISSN: 0028-0836,1476-4687
DOI: 10.1038/369026a0